Volume 6 Number 2

This file contains the table of contents of the current papers accepted for publication in ACM Transactions on Design Automation of Electronic Systems. Papers will appear here, as soon as accepted, before the issue goes to print media. After the issue is closed the papers for that issue are filed in the main index.

NOTE: Eager net-hackers, please do NOT put hotlinks to these papers, yet. Things are under construction and will be for a few months yet. We will give out more stable web-referencing information as it becomes available.

ACM Transactions on Design Automation of Electronic Systems

Volume 6 Number 2

---

Technical Papers:

---

• Verifying Sequential Equivalence Using ATPG Techniques
  Shi-Yu Huang, Kwang-Ting Cheng and Kuang-Chien Chen
  
  • Abstract
  • Paper (PDF)
  • Paper (PS)

  ---

• Intrinsic Response for Analog Module Testing Using Analog Testability Bus
  Chauchin Su, Yue-Tsang Chen and Shyh-Jye Jou
  
  • Abstract
  • Paper (PDF)
  • Paper (PS)

  ---

• Data and Memory Optimization Techniques for Embedded Systems
  P. Panda, F. Catthoor, N. Dutt, K. Danckaert, E. Brockmeyer, C. Kulkarni A. Vandecappelle and P. G. Kjeldsberg
  
  • Abstract
  • Paper (PDF)

  ---